Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
351	Fundamenta Informaticae[removed]{22 IOS Press 1 Executing Suspended Logic Programs Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-05 12:21:24 Predicate logic Logic programming Constraint programming Programming paradigms Abductive logic programming Prolog Constraint logic programming Resolution Atomic formula Logic Mathematical logic Software engineering
352	Grädel et al. Finite Model Theory and Its Applications EATCS Texts in Theoretical Computer Science 450 pp., hardcover, available April 2007; Euro 59.95, USD 79.95, £46.00; http://www.springer.com[removed]8 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-04-07 16:37:58 Model theory Finite model theory Ehrenfeucht–Fraïssé game Constraint programming Moshe Y. Vardi Constraint satisfaction Roland Fraïssé Database theory Combinatorics Mathematical logic Logic Mathematics
353	On Testing Satisfiability of Tree Pattern Queries Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:11 Logic First-order logic Model theory Predicate logic Datalog FO Decomposition method Constraint logic programming Theoretical computer science Mathematical logic Constraint programming
354	SMT-RAT Version[removed]Satisfiability-Modulo-Theories Real Arithmetic Toolbox Manual Florian Corzilius, Ulrich Loup, Sebastian Junges, and Erika Ábrahám Add to Reading List Source URL: smtrat.sourceforge.net Language: English - Date: 2012-02-28 12:54:49 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Solver Module AMPL Theoretical computer science Applied mathematics Mathematics
355	Final 0506 Quark 7 Annual Report:0506 draft 5.qxd.qxd Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2007-01-12 05:07:34 Computational complexity theory Abstraction Logic in computer science Formal sciences Constraint programming Constraint satisfaction Finite model theory Mathematical logic Complexity Theoretical computer science Mathematics Applied mathematics
356	expr2Trains20Optimized.eps Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2009-11-17 06:39:56 Software engineering Prolog Predicate Constraint satisfaction Local consistency Query optimizer SQL Constraint programming Computing Logic
357	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
358	Description Logic vs. Order-Sorted Feature Logic Hassan A¨ıt-Kaci ILOG, Inc. [removed] Abstract. We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF ) Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Constraint programming Logic programming Model theory Non-classical logic Programming paradigms Constraint logic programming First-order logic Description logic Structure Logic Mathematical logic Mathematics
359	Every 2-CSP allows nontrivial approximation Johan H˚ astad Royal Institute of Technology Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2005-06-22 08:43:27 Constraint programming Computational complexity theory Constraint satisfaction problem 2-satisfiability Constraint satisfaction Approximation algorithm Logic in computer science Combinatorial optimization Linear programming Theoretical computer science Applied mathematics Mathematics

UPDATE